ИЕРАРХИЧЕСКИЕ СЕТИ АБСТРАКТНЫХ МАШИН И ВИРТУАЛИЗАЦИЯ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ
ВНЕШНЕГО ХРАНЕНИЯ И ОБРАБОТКИ ДАННЫХ 

Зинкин Сергей Александрович, кандидат технических наук, доцент,  кафедра вычислительной техники, Пензенский государственный университет, vt@alice.pnzgu.ru

681.324

Определяются формализмы для описания иерархий абстрактных машин с целью последующей виртуализации систем внешнего хранения и обработки данных. Дано понятие об иерархической эволюционирующей алгебраической системе, на основании которого построена конкретная иерархия абстрактных машин, легко реализуемая программно и аппаратно

Ключевые слова

иерархия абстрактных машин, система обработки данных, формальная спецификация, сети абстрактных машин

 Скачать статью в формате PDF

1. Х эндлер, В. Простота и гибкость в архитектуре параллельных вычислительных систем / В. Хэндлер // Высокоскоростные вычисления. Архитектура, производительность, прикладные алгоритмы и программы суперЭВМ / под ред. Я. Ковалика. – М. : Радио и связь, 1988. – С. 61–79.
2. Брой, М. Информатика. Основополагающее введение : в 4-х ч. / М. Брой. – М. : Диалог-МИФИ, 1996. – Ч. 1. – 300 с.
3. Gurevich Y. Evolving Algebras 1993: Lipari Guide, Specification and Validation Methods / ed. E. Bцrger. – Oxford : Oxford University Press, 1995. – P. 9–36.
4. Dexter, S. Gurevich abstract state machines and Shцnhage storage modification machines / S. Dexter, P. Doyle, Y. Gurevich // Journal of Universal Comp. Science. – 1997. – V. 3. – № 4. – Р. 279–303.
5. Зинкин, С. А. Сети абстрактных машин высших порядков в проектировании систем и сетей хранения и обработки данных (базовый формализм и его расширения) / С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2007. – № 3. – С. 13–22.
6. Зинкин, С. А. Сети абстрактных машин высших порядков в проектировании систем и сетей хранения и обработки данных (механизмы интерпретации и варианты использования) / С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2007. – № 4. – С. 37–51.
7. Зинкин, С. А. Самомодифицируемые сценарные модели функционирования систем и сетей хранения и обработки данных (базовый формализм и темпораль-ные операции) / С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2007. – № 1. – С. 3–12.
8. Зинкин, С. А. Самомодифицируемые сценарные модели функционирования систем и сетей хранения и обработки данных (реализация и свойства сценарных моделей) / С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2007. – № 2. – С. 13–21.
9. Искусственный интеллект : в 3-х кн. Кн. 2. Модели и методы : справочник / под ред. Д. А. Поспелова. – М. : Радио и связь, 1990. – 304 с.
10. Ершов, Ю. Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин. – М. : Наука, 1979. – 320 с.
11. Таненбау м, Э. Распределенные системы. Принципы и парадигмы / Э. Таненбаум, М. ван Стен. – СПб. : Питер, 2003. – 878 с.
12. Капитонова, Ю. В. Математическая теория проектирования вычислительных систем / Ю. В. Капитонова, А. А. Летичевский. – М. : Наука, 1988. – 296 с.